A Generalized Resolution Theorem
نویسنده
چکیده
W.C. Rounds and G.-Q. Zhang have recently proposed to study a form of resolution on algebraic domains [1]. This framework allows reasoning with knowledge which is hierarchically structured and forms a (suitable) domain, more precisely, a coherent algebraic cpo as studied in domain theory. In this paper, we give conditions under which a resolution theorem — in a form underlying resolution-based logic programming systems — can be obtained. The investigations bear potential for engineering new knowledge representation and reasoning systems on a firm domain-theoretic background.
منابع مشابه
An Lp-Lq-version Of Morgan's Theorem For The Generalized Fourier Transform Associated with a Dunkl Type Operator
The aim of this paper is to prove new quantitative uncertainty principle for the generalized Fourier transform connected with a Dunkl type operator on the real line. More precisely we prove An Lp-Lq-version of Morgan's theorem.
متن کاملGENERALIZED PRINCIPAL IDEAL THEOREM FOR MODULES
The Generalized Principal Ideal Theorem is one of the cornerstones of dimension theory for Noetherian rings. For an R-module M, we identify certain submodules of M that play a role analogous to that of prime ideals in the ring R. Using this definition, we extend the Generalized Principal Ideal Theorem to modules.
متن کاملFIXED POINT THEOREM OF KANNAN-TYPE MAPPINGS IN GENERALIZED FUZZY METRIC SPACES
Binayak et al in [1] proved a fixed point of generalized Kannan type-mappings in generalized Menger spaces. In this paper we extend gen- eralized Kannan-type mappings in generalized fuzzy metric spaces. Then we prove a fixed point theorem of this kind of mapping in generalized fuzzy metric spaces. Finally we present an example of our main result.
متن کاملGENERALIZATION OF TITCHMARSH'S THEOREM FOR THE GENERALIZED FOURIER-BESSEL TRANSFORM
In this paper, using a generalized translation operator, we prove theestimates for the generalized Fourier-Bessel transform in the space L2 on certainclasses of functions.
متن کاملAN LP-LQ-VERSION OF MORGAN’S THEOREM FOR THE GENERALIZED BESSEL TRANSFORM
n this article, we prove An Lp-Lq-version of Morgan’s theorem for the generalized Bessel transform.
متن کامل